Your search returned 3 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 1997 Volume number : 23 Issue: 09

An Empirical Study Of Reuse With Special Attention To Ada (Article)
Subject: Ada , Software Engineering , Software Metrics , Factor Analysis
Author: Nam-Young Lee      Charles R. Litecky     
page:      537 - 549
The Compositional Security Checker A Tool For The Verification Of Information Flow Security Properties (Article)
Subject: Tools And Techniques , Program Verification , Information Fitting
Author: Riccardo Focardi      Roberto Gorrieri     
page:      550 - 571
Specitication Of Realtime Systems Using Astral (Article)
Subject: Formal Methods , Formal Specification , Temporal Logic
Author: Alberto Coen-Porisinio      Carlo Ghezzi      Richard A. Kemmerer     
page:      572 - 598